more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 17900

[filed under theme 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility ]

Full Idea

The Axiom of Reducibility ...had the effect of making impredicative definitions possible.

Clarification

Impredicative definitions introduce nothing new

Gist of Idea

The Axiom of Reducibility made impredicative definitions possible

Source

A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3)

Book Ref

George,A/Velleman D.J.: 'Philosophies of Mathematics' [Blackwell 2002], p.47